A Formal Validation Model for the Netconf Protocol
نویسندگان
چکیده
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate and commit, which currently lack a clear description and an information model. We propose in this paper a model for validation based on XML schema trees. By using an existing logical formalism called TQL, we express important dependencies between parameters that appear in those information models, and automatically check these dependencies on sample XML trees in reasonable time. We illustrate our claim by showing different rules and an example of validation on a Virtual Private Network.
منابع مشابه
RFC 6022 YANG Module for NETCONF
This document defines a Network Configuration Protocol (NETCONF) data model to be used to monitor the NETCONF protocol. The monitoring data model includes information about NETCONF datastores, sessions, locks, and statistics. This data facilitates the management of a NETCONF server. This document also defines methods for NETCONF clients to discover data models supported by a NETCONF server and ...
متن کاملRFC 6022 YANG Module for NETCONF Monitoring
This document defines a Network Configuration Protocol (NETCONF) data model to be used to monitor the NETCONF protocol. The monitoring data model includes information about NETCONF datastores, sessions, locks, and statistics. This data facilitates the management of a NETCONF server. This document also defines methods for NETCONF clients to discover data models supported by a NETCONF server and ...
متن کاملInternet Engineering Task Force (ietf) Network Configuration Protocol (netconf) Access Control Model
The standardization of network configuration interfaces for use with the Network Configuration Protocol (NETCONF) requires a structured and secure operating environment that promotes human usability and multi-vendor interoperability. There is a need for standard mechanisms to restrict NETCONF protocol access for particular users to a pre-configured subset of all available NETCONF protocol opera...
متن کاملWeb Services Based Configuration Management for IP Network Devices
As the Internet continues to grow, current networks are composed of a large number network devices from diverse vendors. The tasks of operating and managing these devices are getting more difficult and complicated. For that reason, IETF Netconf Working Group has an ongoing effort to standardize network configuration management. The Netconf protocol helps to exchange configuration information be...
متن کاملGenerating Skeleton Code for Netconf Modules from Smi Mib Module Definitions
Configuring network devices with the Simple Network Management Protocol (SNMP) has several drawbacks. Within the IETF, a new configuration protocol is being designed: NETCONF. NETCONF offers an XML based encoding and operations to install, to manipulate, and to delete configurations of network devices. Currently there are no standard data models for NETCONF comparable to those defined in SMI MI...
متن کامل